@Misc{sir,
  key =   {SIR},
  title =    {The {S}oftware-artifact {I}nfrastructure {R}epository},
  note = {\url{http://sir.unl.edu/}},
}

@Misc{jpf,
  key =   {JPF},
  title =    {{JPF} Home},
  note = {\url{http://javapathfinder.sourceforge.net/}},
}

@Misc{yulin,
  author =   {Yu Lin},
  title =    {Discussion on {ARTGen}},
  note = {Personal Communications, March, 2010},
}

@article{dart,
 author = {Godefroid, Patrice and Klarlund, Nils and Sen, Koushik},
 title = {DART: directed automated random testing},
 booktitle = {PLDI '05},
 year = {2005},
 pages = {213--223},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{orso-woda-2006,
    title = "Isolating Relevant Component Interactions with JINSI",
    author = "Alessandro Orso and Shrinivas Joshi and Martin Burger and Andreas Zeller",
    year = "2006",
    month = feb,
    address = "New York, NY, USA",
    booktitle = "WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis",
    location = "Shanghai, China",
    pages = "3--10",
    publisher = "ACM",
    ISBN = "1595934006",
}

@inproceedings{Lei:2005,
 author = {Lei, Yong and Andrews, James H.},
 title = {Minimization of Randomized Unit Test Cases},
 booktitle = {Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering},
 year = {2005},
 isbn = {0-7695-2482-6},
 pages = {267--276},
 numpages = {10},
 url = {http://portal.acm.org/citation.cfm?id=1104997.1105255},
 doi = {10.1109/ISSRE.2005.28},
 acmid = {1105255},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@inproceedings{Leitner:2007,
 author = {Leitner, Andreas and Oriol, Manuel and Zeller, Andreas and Ciupa, Ilinca and Meyer, Bertrand},
 title = {Efficient unit test case minimization},
 booktitle = {Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering},
 series = {ASE '07},
 year = {2007},
 isbn = {978-1-59593-882-4},
 location = {Atlanta, Georgia, USA},
 pages = {417--420},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/1321631.1321698},
 doi = {http://doi.acm.org/10.1145/1321631.1321698},
 acmid = {1321698},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {minimization, slicing, unit testing},
}



@inproceedings{jpfissta08,
 author = {P\v{a}s\v{a}reanu, Corina S. and Mehlitz, Peter C. and Bushnell, David H. and Gundy-Burlet, Karen and Lowry, Michael and Person, Suzette and Pape, Mark},
 title = {Combining unit-level symbolic execution and system-level concrete execution for testing nasa software},
 booktitle = {ISSTA '08},
 year = {2008},
 pages = {15--26},
 location = {Seattle, WA, USA},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @InProceedings{Liblit:2005:SSBI,
  author =   {B Liblit and M Naik and A X. Zheng and
                  A Aiken and M I. Jordan},
  title =    {Scalable Statistical Bug Isolation},
  booktitle =     {PLDI '05},
}

@inproceedings{Huang:2007,
 author = {T-Y Huang and P-C Chou and C-H Tsai and H-A Chen},
 title = {Automated fault localization with statistically suspicious program states},
 booktitle = {In Proc. LCTES'07},
 year = {2007},
 pages = {11--20},
 numpages = {10},
}

@InProceedings{Liblit:2003:BIRPS,
  author =   {Ben Liblit and Alex Aiken and Alice X. Zheng and
                  Michael I. Jordan},
  title =    {Bug Isolation via Remote Program Sampling},
  booktitle =     {Proc. PLDI '03},
}

@InProceedings {NIPS2003_AP05,
  author = " A X. Zheng and  M I. Jordan and  B Liblit and  A Aiken",
  title = " Statistical Debugging of Sampled Programs",
  booktitle = "NIPS'04",
  }

  @InProceedings{Zheng:2006:SDSIMB,
  author =   {Alice X. Zheng and Michael I. Jordan and Ben Liblit
                  and Mayur Naik and Alex Aiken},
  title =    {Statistical Debugging: Simultaneous Identification
                  of Multiple Bugs},
  booktitle =    {Proc. ICML'06},
  month =    jun # { 26--29},
  year =     2006,
}

@Book{Liblit:2007:CBI,
    Publisher = {Springer},
    Series = {Lecture Notes in Computer Science},
    author = {Liblit, Ben},
    title = {Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition},
    volume = {4440},
    year = {2007},
}

@inproceedings{Andrzejewski:2007,
 author = {Andrzejewski, David and Mulhern, Anne and Liblit, Ben and Zhu, Xiaojin},
 title = {Statistical Debugging Using Latent Topic Models},
 booktitle = {Proc. ECML'07},
 year = {2007},
 location = {Warsaw, Poland},
 pages = {6--17},
 numpages = {12},
 address = {Berlin, Heidelberg},
}

@inproceedings{dietz-nips-2009,
    title = "Localizing Bugs in Program Executions with Graphical Models",
    author = "L Dietz and V Dallmeier and A Zeller and T Scheffer",
    booktitle = {NIPS'09},
    location = "Vancouver, BC, Canada",
}

@inproceedings{Horwitz:1988:ISU:53990.53994,
 author = {Horwitz, S. and Reps, T. and Binkley, D.},
 title = {Interprocedural slicing using dependence graphs},
 booktitle = {Proc. PLDI'88},
 year = {1988},
 isbn = {0-89791-269-1},
 location = {Atlanta, Georgia, United States},
 pages = {35--46},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/53990.53994},
 doi = {http://doi.acm.org/10.1145/53990.53994},
 acmid = {53994},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Liu:2005,
 author = {Liu, Chao and Yan, Xifeng and Fei, Long and Han, Jiawei and Midkiff, Samuel P.},
 title = {SOBER: statistical model-based bug localization},
 booktitle = {ESEC/FSE-13},
 year = {2005},
 location = {Lisbon, Portugal},
 pages = {286--295},
 numpages = {10},
}

@inproceedings{burger-issta-2011,
    title = "Minimizing Reproduction of Software Failures",
    author = "Martin Burger and Andreas Zeller",
    year = "2011",
    month = jul,
    location = "Toronto, ON, Canada",
}

@inproceedings{Weiser:1981,
 author = {Weiser, Mark},
 title = {Program slicing},
 booktitle = {Proceedings of the 5th international conference on Software engineering},
 series = {ICSE '81},
 year = {1981},
 isbn = {0-89791-146-6},
 location = {San Diego, California, United States},
 pages = {439--449},
 numpages = {11},
 url = {http://portal.acm.org/citation.cfm?id=800078.802557},
 acmid = {802557},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 keywords = {Data flow analysis, Debugging, Human factors, Program maintenance, Program metrics, Software tools},
}

@article{Zeller:2002,
 author = {Zeller, Andreas and Hildebrandt, Ralf},
 title = {Simplifying and Isolating Failure-Inducing Input},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {28},
 issue = {2},
 month = feb,
 year = {2002},
 issn = {0098-5589},
 pages = {183--200},
 numpages = {18},
 url = {http://portal.acm.org/citation.cfm?id=506201.506206},
 doi = {10.1109/32.988498},
 acmid = {506206},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 keywords = {Automated debugging, debugging aids, testing tools, combinatorial testing, diagnostics, tracing.},
}
@inproceedings{Dickinson:2001,
 author = {Dickinson, William and Leon, David and Podgurski, Andy},
 title = {Finding failures by cluster analysis of execution profiles},
 booktitle = {Proc. ICSE'01},
 year = {2001},
 location = {Toronto, Ontario, Canada},
 pages = {339--348},
 numpages = {10},
}

@inproceedings{statebased,
 author = {Turner, Christopher D. and Robson, David J.},
 title = {The State-Based Testing of Object-Oriented Programs},
 booktitle = {ICSM '93},
 year = {1993},
 pages = {302--310},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{finitestate,
 author = {Grieskamp, Wolfgang and Gurevich, Yuri and Schulte, Wolfram and Veanes, Margus},
 title = {Generating finite state machines from abstract state machines},
 booktitle = {ISSTA '02},
 year = {2002},
 pages = {112--122},
 location = {Roma, Italy},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{dsd,
 author = {Csallner, Christoph and Smaragdakis, Yannis and Xie, Tao},
 title = {DSD-Crasher: A hybrid analysis tool for bug finding},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {17},
 number = {2},
 year = {2008},
 pages = {1--37},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{minsat,
 author = {Rajeev Kohli and Ramesh Krishnamurti and Prakash Mirchandani},
 title = {The Minimum Satisfiability Problem},
 journal = {SIAM Journal on Discrete Mathematics},
 volume = {7},
 number = {2},
 month = may,
 year = {1994},
 publisher = {Society for Industrial and Applied Mathematics},
 address = {Philadelphia, PA, USA },
 }

@inproceedings{Ernst2003:WODA,
   author = {Michael D. Ernst},
   title = {Static and dynamic analysis: Synergy and duality},
   booktitle = {WODA 2003: ICSE Workshop on Dynamic Analysis},
   pages = {24--27},
   address = {Portland, OR},
   month = {May~9,},
   year = {2003}
}

@inproceedings{together,
 author = {Yorsh, Greta and Ball, Thomas and Sagiv, Mooly},
 title = {Testing, abstraction, theorem proving: better together!},
 booktitle = {ISSTA '06},
 year = {2006},
 pages = {145--156},
 location = {Portland, Maine, USA},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{adabu,
 author = {Dallmeier, Valentin and Lindig, Christian and Wasylkowski, Andrzej and Zeller, Andreas},
 title = {Mining object behavior with ADABU},
 booktitle = {WODA '06},
 year = {2006},
 isbn = {1-59593-400-6},
 pages = {17--24},
 location = {Shanghai, China},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{whaleyissta02,
 author = {Whaley, John and Martin, Michael C. and Lam, Monica S.},
 title = {Automatic extraction of object-oriented component interfaces},
 booktitle = {ISSTA '02},
 year = {2002},
 isbn = {1-58113-562-9},
 pages = {218--228},
 location = {Roma, Italy},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{modelicse08,
 author = {Lorenzoli, Davide and Mariani, Leonardo and Pezz\`{e}, Mauro},
 title = {Automatic generation of software behavioral models},
 booktitle = {ICSE '08},
 year = {2008},
 pages = {501--510},
 location = {Leipzig, Germany},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{modeldiscover,
 author = {Cook, Jonathan E. and Wolf, Alexander L.},
 title = {Discovering models of software processes from event-based data},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {7},
 number = {3},
 year = {1998},
 issn = {1049-331X},
 pages = {215--249},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@article{ErnstPGMPTX2007,
   author = {Michael D. Ernst and Jeff H. Perkins and Philip J. Guo and
    Stephen McCamant and Carlos Pacheco and Matthew S. Tschantz and
    Chen Xiao},
   title = {The {Daikon} system for dynamic detection of likely invariants},
   journal = {Science of Computer Programming},
   volume = {69},
   number = {1--3},
   pages = {35--45},
   month = dec,
   year = {2007}
}

@inbook{Young:2005:STA:1076948,
 author = {Young, Michal and Pezze, Mauro},
 title = {Software Testing and Analysis: Process, Principles and Techniques},
 year = {2005},
 chapter =    "6",
  pages =    "78 -- 90",
 publisher = {John Wiley \& Sons},
}

@book{statistics,
 author = {E. Lehmann and G.Casella},
 title = {Theory of Point Estimation},
 year = {2003},
 publisher = {Springer, 2nd edition},
}

@inproceedings{testgenmine,
 author = {Dallmeier, Valentin and Knopp, Nikolai and Mallon, Christoph and Hack, Sebastian and Zeller, Andreas},
 title = {Generating test cases for specification mining},
 booktitle = {ISSTA '10},
 year = {2010},
 isbn = {978-1-60558-823-0},
 pages = {85--96},
 }

@Misc{jtest,
  key = {JTest},
  author =   {},
  title =    {{Parasoft. JTest} manuals version 6.0. Online manual},
}

@Misc{codecomplete,
  author =   {Steve McConnell},
  title =    {Code Complete, 2nd Edition},
  note = {Microsoft Press, 2004},
}

@Misc{datamining,
  author =   {J Han and M Kamber},
  title =    {Data mining: concepts and techniques},
  note = {Second Edition, The Morgan Kaufmann Series in Data Management Systems, 2006},
}

@article{changeimpact,
 author = {Robert Arnold and Shawn Bohner},
 title = {Software Change Impact Analysis},
 journal = {Wiley-IEEE Computer Society Press},
 year = {1996},
 pages = {392},
 publisher = {John Wiley and Sons Ltd.},
 }

@inproceedings{artoo,
 author = {Ciupa, Ilinca and Leitner, Andreas and Oriol, Manuel and Meyer, Bertrand},
 title = {ARTOO: adaptive random testing for object-oriented software},
 booktitle = {ICSE '08},
 year = {2008},
 pages = {71--80},
 location = {Leipzig, Germany},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{pertJaygarl09,
  author    = {Hojun Jaygarl and
               Sunghun Kim and
               Carl K. Chang},
  title     = {Practical Extensions of a Randomized Testing Tool},
  booktitle = {COMPSAC},
  year      = {2009},
}


@inproceedings{assessement,
 author = {M.Ajmal Chaumun and Hind Kabaili and Rudolf K.Keller and Francois Lustman},
 title = {A change impact model for changeability assessment in object-oriented software systems},
 booktitle = {Science of Computer Programming, Volume 45, Issues 2-3},
 year = {2002},
 pages = {155--174},
 }

@article{dd,
 author = {Zeller, Andreas},
 title = {Yesterday, my program worked. Today, it does not. Why?},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {24},
 number = {6},
 year = {1999},
 issn = {0163-5948},
 pages = {253--267},
 doi = {http://doi.acm.org/10.1145/318774.318946},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{bugfix,
 author = {Anvik, John and Hiew, Lyndon and Murphy, Gail C.},
 title = {Who should fix this bug?},
 booktitle = {Proc. ICSE '06},
 year = {2006},
 isbn = {1-59593-375-1},
 pages = {361--370},
 location = {Shanghai, China},
 doi = {http://doi.acm.org/10.1145/1134285.1134336},
 publisher = {ACM},
 address = {New York, NY, USA},
 }




@inproceedings{regression,
 author = {Harrold, Mary Jean and Jones, James A. and Li, Tongyu and Liang, Donglin and Orso, Alessandro and Pennings, Maikel and Sinha, Saurabh and Spoon, S. Alexander and Gujarathi, Ashish},
 title = {Regression test selection for Java software},
 booktitle = {OOPSLA '01},
 year = {2001},
 isbn = {1-58113-335-9},
 pages = {312--326},
 location = {Tampa Bay, FL, USA},
 doi = {http://doi.acm.org/10.1145/504282.504305},
 publisher = {ACM},
 address = {New York, NY, USA},
 }



@article{sbse,
 author = {McMinn, Phil},
 title = {Search-based software test data generation: a survey: Research Articles},
 journal = {Softw. Test. Verif. Reliab.},
 volume = {14},
 number = {2},
 year = {2004},
 issn = {0960-0833},
 pages = {105--156},
 publisher = {John Wiley and Sons Ltd.},
 address = {Chichester, UK},
 }

@inproceedings{winnt,
 author = {Forrester, Justin E. and Miller, Barton P.},
 title = {An empirical study of the robustness of Windows NT applications using random testing},
 booktitle = {Proc. WSS'00},
 year = {2000},
 pages = {6--6},
 location = {Seattle, Washington},
 publisher = {USENIX Association},
 address = {Berkeley, CA, USA},
 }

@article{unixut,
 author = {Miller, Barton P. and Fredriksen, Louis and So, Bryan},
 title = {An empirical study of the reliability of UNIX utilities},
 journal = {Commun. ACM},
 volume = {33},
 number = {12},
 year = {1990},
 issn = {0001-0782},
 pages = {32--44},
 doi = {http://doi.acm.org/10.1145/96267.96279},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{Jungloid,
 author = {Mandelin, David and Xu, Lin and Bod\'{\i}k, Rastislav and Kimelman, Doug},
 title = {Jungloid mining: helping to navigate the API jungle},
 journal = {SIGPLAN Not.},
 volume = {40},
 number = {6},
 year = {2005},
 issn = {0362-1340},
 pages = {48--61},
 doi = {http://doi.acm.org/10.1145/1064978.1065018},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{holmes,
 author = {Holmes, Reid and Murphy, Gail C.},
 title = {Using structural context to recommend source code examples},
 booktitle = {Proc. ICSE '05},
 year = {2005},
 pages = {117--125},
 location = {St. Louis, MO, USA},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{xsnippet,
 author = {Sahavechaphan, Naiyana and Claypool, Kajal},
 title = {XSnippet: mining For sample code},
 journal = {SIGPLAN Not.},
 volume = {41},
 number = {10},
 year = {2006},
 issn = {0362-1340},
 pages = {413--430},
 doi = {http://doi.acm.org/10.1145/1167515.1167508},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{butz:71,
 author = {Butz, A. R.},
 title = {Alternative Algorithm for Hilbert's Space-Filling Curve},
 journal = {IEEE Trans. Comput.},
 volume = {20},
 number = {4},
 year = {1971},
 issn = {0018-9340},
 pages = {424--426},
 doi = {http://dx.doi.org/10.1109/T-C.1971.223258},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }



 @inproceedings{li:06,
  author    = {Ping Li and
               Trevor Hastie and
               Kenneth Ward Church},
  title     = {Very sparse random projections},
  booktitle = {KDD},
  year      = {2006},
  pages     = {287-296},
  ee        = {http://doi.acm.org/10.1145/1150402.1150436},
  OMITcrossref  = {DBLP:conf/kdd/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{mining,
 author = {Zimmermann, Thomas and Weisgerber, Peter and Diehl, Stephan and Zeller, Andreas},
 title = {Mining Version Histories to Guide Software Changes},
 booktitle = {Proc. ICSE '04},
 year = {2004},
 isbn = {0-7695-2163-0},
 pages = {563--572},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{Buse:2008,
 author = {Buse, R P.L. and Weimer, W R.},
 title = {Automatic documentation inference for exceptions},
 booktitle = {ISSTA '08},
 year = {2008},
 isbn = {978-1-60558-050-0},
 location = {Seattle, WA, USA},
 pages = {273--282},
 numpages = {10},
}

@inproceedings{highlevel,
 author = {Giriprasad Sridhara, Lori Pollock, and K Vijay-Shanker},
 title = {Automatically Detecting and Describing High Level Actions within Methods},
 booktitle = {Proc. ICSE '11},
 location = {Waikiki, Hawaii, USA},
 month = {May~25--27,},
 year = {2011}
}

@InProceedings{Arumuga-Nainar:2010:ABI,
  author =   {Piramanayagam {Arumuga Nainar} and Ben Liblit},
  title =    {Adaptive Bug Isolation},
  booktitle =    {Proc. ICSE 2010},
  year =     2010,
  address =  {Cape Town, South Africa},
  month =    may,
  organization = {ACM SIGSOFT and IEEE}
}

@inproceedings{Sridhara:2010,
 author = {Sridhara, G and Hill, E and Muppaneni, D and Pollock, L and Vijay-Shanker, K.},
 title = {Towards automatically generating summary comments for {Java} methods},
 booktitle = {Proc. ASE'10},
 year = {2010},
 isbn = {978-1-4503-0116-9},
 location = {Antwerp, Belgium},
 pages = {43--52},
 numpages = {10},
}

@inproceedings{Erickson:1982,
 author = {Erickson, Timothy E.},
 title = {An automated FORTRAN documenter},
 booktitle = {Proc. SIGDOC'82},
 year = {1982},
 pages = {40--45},
 numpages = {6},
}

@ARTICLE{Tillmann06unittests,
    author = {Nikolai Tillmann and Wolfram Schulte},
    title = {Unit tests reloaded: Parameterized unit testing with symbolic execution},
    journal = {IEEE Software},
    year = {2006},
    volume = {23},
    pages = {2006}
}

@ARTICLE{Venolia,
    author = {G. Venolia, R. DeLine, and T. LaToza},
    title = {Software development at Microsoft observed},
    journal = {Technical Report MSR-TR-2005-140, Microsoft Research, Redmond, WA, Oct. 2005.},
}

@inproceedings{Ernst:1999,
 author = {Ernst, M D. and Cockrell, J and Griswold, W G. and Notkin, D},
 title = {Dynamically discovering likely program invariants to support program evolution},
 booktitle = {Proc. ICSE '99},
 pages = {213--224},
 numpages = {12},
 keywords = {dynamic analysis, execution traces, formal specification, logical inference, pattern recognition, program invariants, software evolution},
}

@inproceedings{Roach:1990,
 author = {Roach, David and Berghel, Hal and Talburt, John R.},
 title = {An interactive source commenter for Prolog programs},
 booktitle = {Proc. SIGDOC'90},
 year = {1990},
 isbn = {0-89791-414-7},
 location = {Little Rock, Arkansas, United States},
 pages = {141--145},
 numpages = {5},
}

@article{Robillard:1986,
 author = {Robillard, Pierre N.},
 title = {Schematic pseudocode for program constructs and its computer automation by SCHEMACODE},
 journal = {Commun. ACM},
 volume = {29},
 issue = {11},
 month = nov,
 year = {1986},
 issn = {0001-0782},
 pages = {1072--1089},
 numpages = {18},
}

@inproceedings{Jones:2004,
 author = {Jones, James A.},
 title = {Fault Localization Using Visualization of Test Information},
 booktitle = {Proceedings of the 26th International Conference on Software Engineering},
 series = {ICSE '04},
 year = {2004},
 isbn = {0-7695-2163-0},
 pages = {54--56},
 numpages = {3},
 url = {http://portal.acm.org/citation.cfm?id=998675.999405},
 acmid = {999405},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 keywords = {Fault localization using software visualization, testing information, and program analysis techniques},
}

@inproceedings{hsu09may,
  author =       {H.-Y. Hsu and A. Orso},
  title =        {{MINTS: A General Framework and Tool for Supporting
  Test-suite Minimization}},
  booktitle =    {Proceedings of the 31st IEEE and ACM SIGSOFT International Conference on Software Engineering (ICSE 2009)},
  NEEDpages =    {*},
  address =      {Vancouver, Canada},
  month =        may,
  year =         {2009},
}

@inproceedings{Xie:2004,
 author = {Xie, Tao and Marinov, Darko and Notkin, David},
 title = {Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests},
 booktitle = {Proceedings of the 19th IEEE international conference on Automated software engineering},
 year = {2004},
 isbn = {0-7695-2131-2},
 pages = {196--205},
 numpages = {10},
 url = {http://portal.acm.org/citation.cfm?id=1025115.1025219},
 doi = {10.1109/ASE.2004.61},
 acmid = {1025219},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@inproceedings{Zhang:2006,
 author = {Zhang, Xiangyu and Tallam, Sriraman and Gupta, Rajiv},
 title = {Dynamic slicing long running programs through execution fast forwarding},
 booktitle = {Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering},
 series = {SIGSOFT '06/FSE-14},
 year = {2006},
 isbn = {1-59593-468-5},
 location = {Portland, Oregon, USA},
 pages = {81--91},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/1181775.1181786},
 doi = {http://doi.acm.org/10.1145/1181775.1181786},
 acmid = {1181786},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {checkpointing, data slicing, debugging, event logging, replay},
}

@inproceedings{Le:2010,
 author = {Le, Wei and Soffa, Mary Lou},
 title = {Path-based fault correlations},
 booktitle = {Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering},
 series = {FSE '10},
 year = {2010},
 isbn = {978-1-60558-791-2},
 location = {Santa Fe, New Mexico, USA},
 pages = {307--316},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1882291.1882336},
 doi = {http://doi.acm.org/10.1145/1882291.1882336},
 acmid = {1882336},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {demand-driven, error state, fault correlation, path-sensitive},
}

@inproceedings{Agrawal:1990,
 author = {Agrawal, Hiralal and Horgan, Joseph R.},
 title = {Dynamic program slicing},
 booktitle = {Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation},
 series = {PLDI '90},
 year = {1990},
 isbn = {0-89791-364-7},
 location = {White Plains, New York, United States},
 pages = {246--256},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/93542.93576},
 doi = {http://doi.acm.org/10.1145/93542.93576},
 acmid = {93576},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{Mariani:2011,
 author = {Mariani, Leonardo and Pezz\`{e}, Mauro and Riganelli, Oliviero and Santoro, Mauro},
 title = {AutoBlackTest: a tool for automatic black-box testing},
 booktitle = {Proceeding of the 33rd international conference on Software engineering},
 series = {ICSE '11},
 year = {2011},
 isbn = {978-1-4503-0445-0},
 location = {Waikiki, Honolulu, HI, USA},
 pages = {1013--1015},
 numpages = {3},
 url = {http://doi.acm.org/10.1145/1985793.1985979},
 doi = {http://doi.acm.org/10.1145/1985793.1985979},
 acmid = {1985979},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {black-box testing, q-learning, test automation},
}

@inproceedings{Baresi:2010,
 author = {Baresi, Luciano and Miraz, Matteo},
 title = {TestFul: automatic unit-test generation for Java classes},
 booktitle = {Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2},
 series = {ICSE '10},
 year = {2010},
 isbn = {978-1-60558-719-6},
 location = {Cape Town, South Africa},
 pages = {281--284},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/1810295.1810353},
 doi = {http://doi.acm.org/10.1145/1810295.1810353},
 acmid = {1810353},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Java classes, search-based testing, test generation},
}

@inproceedings{Jeffrey:2008,
 author = {Jeffrey, Dennis and Gupta, Neelam and Gupta, Rajiv},
 title = {Fault localization using value replacement},
 booktitle = {Proceedings of the 2008 international symposium on Software testing and analysis},
 series = {ISSTA '08},
 year = {2008},
 isbn = {978-1-60558-050-0},
 location = {Seattle, WA, USA},
 pages = {167--178},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1390630.1390652},
 doi = {http://doi.acm.org/10.1145/1390630.1390652},
 acmid = {1390652},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {automated debugging, fault localization, interesting value mapping pair, value replacement},
}

@inproceedings{api,
 author = {L Fan and W Xi and C Yang},
 title = {{API} hyperlinking via structural overlap},
 booktitle = {In Proc. ESEC/FSE '09},
 year = {2009},
 pages = {203--212},
 location = {Amsterdam, The Netherlands},
 }

 @inproceedings{palus,
 author = {S Zhang and D Saff and Y Bu and M D.Ernst},
 title = {Combined Static and Dynamic Automated Test Generation},
 booktitle = {ISSTA' 2011},
 }

@inproceedings{palulu,
author = {Shay Artzi and Michael D. Ernst and Adam Kie{\.z}un and
    Carlos Pacheco and Jeff H. Perkins},
   title = {Finding the needles in the haystack: Generating legal test
    inputs for object-oriented programs},
   booktitle = {1st Workshop on Model-Based Testing and Object-Oriented
    Systems (M-TOOS)},
   address = {Portland, OR},
   month = {October~23,},
   year = {2006}

 }


@Misc{soot,
  key =   {Soot},
  title =    {{Soot} Home},
  note = {\url{http://www.sable.mcgill.ca/soot/}},
}

@Misc{randoop,
  key =   {Randoop},
  title =    {{Randoop} Home},
  note = {\url{http://code.google.com/p/randoop/}},
}

@INPROCEEDINGS{thummalapenta09:mseqgen,
    author = {Suresh Thummalapenta and Tao Xie and Nikolai Tillmann and Peli de Halleux and Wolfram Schulte},
    title = {{MSeqGen}: Object-Oriented Unit-Test Generation via Mining Source Code},
    booktitle = {Proc. ESEC/FSE 2009},
    month = aug,
    year = {2009},
    location = {Amsterdam, the Netherlands},
}

@inproceedings{deSouza:2005,
 author = {de Souza, Sergio Cozzetti B. and Anquetil, Nicolas and de Oliveira, K\'{a}thia M.},
 title = {A study of the documentation essential to software maintenance},
 booktitle = {Proc. SIGDOC '05},
 isbn = {1-59593-175-9},
 location = {Coventry, United Kingdom},
 pages = {68--75},
 numpages = {8},
 keywords = {empirical study, program understanding, software maintenance, software system documentation},
}

@inproceedings{JPFGEN,
 author = {Visser, Willem and P\v{a}s\v{a}reanu, Corina S. and Khurshid, Sarfraz},
 title = {Test input generation with java PathFinder},
 booktitle = {Proc. ISSTA '04},
 year = {2004},
 pages = {97--107},
}


@Misc{jpf-se,
  key =   {JPF},
  title =    {{JPF} Symbolic execution engine},
  note = {\url{http://javapathfinder.sourceforge.net/}},
}

@inproceedings{PachecoLB2008,
   author = {Carlos Pacheco and Shuvendu K. Lahiri and Thomas Ball},
   title = {Finding Errors in .NET with Feedback-directed Random Testing},
   booktitle = {ISSTA 2008},
   address = {Seattle, Washington},
   month = {July~20--24,},
   year = {2008}
}


@Misc{jgrapht,
  key =   {JGraphT},
  title =    {{JGraphT} A free {J}ava Graph library},
  note = {\url{http://jgrapht.sourceforge.net/}},
}

@Misc{javaslicer,
  key =   {JavaSlicer},
  title =    {{JavaSlicer}: an open-source dynamic slicing tool },
  note = {\url{http://www.st.cs.uni-saarland.de/javaslicer/}},
}


@Misc{apachecommonscollections,
  key =   {Apache},
  title =    {{Apache Commons Collections}},
  note = {\url{http://commons.apache.org/collections/}},
}

@Misc{cobertura,
  key =   {Cobertura},
  title =    {{Cobertura}: a free Java tool that calculates the percentage of code accessed by tests},
  note = {\url{http://cobertura.sourceforge.net/}},
}

@book{kleinberg2006algorithm,
  title={Algorithm Design},
  author={Kleinberg, J.},
  isbn={9788131703106},
  url={http://books.google.com/books?id=25p3mHu3ij8C},
  year={2006},
  publisher={Pearson Education}
}

@inproceedings{randoopicse,
   author = {C Pacheco and S K. Lahiri and M D. Ernst
    and T Ball},
   title = {Feedback-directed random test generation},
   booktitle = {ICSE '07},
    pages = {75--84},
}

@inproceedings{failuredoc,
   author = {Sai Zhang and Cheng Zhang and Michael D. Ernst},
   title = {Automated Documentation Inference to Explain Failed Tests},
   booktitle = {Proc. ASE '11},
}

@inproceedings{artgen,
   author = {Yu Lin and Xucheng Tang and Yuting Chen and Jianjun Zhao},
   title = {A Divergence-Oriented Approach to Adaptive Random Testing of {J}ava Programs},
   booktitle = {ASE '09},
   address = {Auckland, New Zealand, 16-20 November 2009},
   year = {2009}
}

@inproceedings{quickcheck,
   author = {K.Claessen and J.Hughes},
   title = {{QuickCheck:} A lightweight tool for random testing of {H}askell programs},
   booktitle = {ICFP '00},
    pages = {268--279},
   year = {Sept.2000}
}

@inproceedings{adaptivetesting,
   author = {T.Y. Chen},
   title = {Adaptive Random Testing},
   booktitle = {QSIC '08},
    pages = {443--443},
   year = {Aug.2008}
}

@INPROCEEDINGS{autotest,
    author = {Ilinca Ciupa and Andreas Leitner},
    title = {Automatic testing based on design by contract},
    booktitle = {In Proceedings of Net.ObjectDays 2005},
    year = {2005},
    pages = {545--557}
}

@inproceedings{agitar,
 author = {Boshernitsan, Marat and Doong, Roongko and Savoia, Alberto},
 title = {From {D}aikon to {A}gitator: lessons and challenges in building a commercial tool for developer testing},
 booktitle = {Proc. ISSTA '06},
 year = {2006},
 isbn = {1-59593-263-1},
 pages = {169--180},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{jartege,
    author = {Catherine Oriat},
    title = { Jartege: a Tool for Random Generation of Unit Tests for Java Classes},
 booktitle = {In Proc. QoSA/SOQUA},
 pages = {242--256},
    year = {2005}
}


@inproceedings{jcrasher,
   author = {C.Csallner and Y. Smaragdakis},
   title = {{JC}rasher: an automatic robustness tester for {J}ava},
   booktitle = {Software: Practice and Experience, 34(11)},
    pages = {1025--1050},
   year = {2004}
}

@inproceedings{chen-rosu-2009-tacas,
title={Parametric Trace Slicing and Monitoring},
author={Feng Chen and Grigore Ro\c{s}u},
booktitle={Proc. TACAS'09},
year={2009},
series = {LNCS},
pages={246-261}
}

@INPROCEEDINGS{xie05:symstra,
    author = {T Xie and D Marinov and W Schulte and D Notkin},
    title = {Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution},
    booktitle = {TACAS 2005},
    year = {2005},
    pages = {365--381},
    location = {Edinburgh, UK},
}

@inproceedings{Buse:2010,
 author = {Buse, Raymond P.L. and Weimer, Westley R.},
 title = {Automatically documenting program changes},
 booktitle = {ASE '10},
 year = {2010},
}

@phdthesis{Kim:2008:AIS:1627249,
 author = {Kim, Miryung},
 advisor = {Notkin, David},
 title = {Analyzing and inferring the structure of code change},
 year = {2008},
 publisher = {University of Washington},
 address = {Seattle, WA, USA},
}


@INPROCEEDINGS{inkumsah08:improving,
    author = {Kobi Inkumsah and Tao Xie},
    title = {Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution},
    booktitle = {Proc. ASE 2008},
    month = sep,
    year = {2008},
    pages = {297--306},
    location = {L'Aquila, Italy},
}

@inproceedings{cute,
 author = {Sen, Koushik and Marinov, Darko and Agha, Gul},
 title = {{CUTE}: a concolic unit testing engine for {C}},
 booktitle = {Proc. ESEC/FSE-13},
 year = {2005},
 pages = {263--272},
 location = {Lisbon, Portugal},
 }

@article{ErnstPGMPTX2007,
   author = {Michael D. Ernst and Jeff H. Perkins and Philip J. Guo and
    Stephen McCamant and Carlos Pacheco and Matthew S. Tschantz and
    Chen Xiao},
   title = {The {Daikon} system for dynamic detection of likely invariants},
   journal = {Science of Computer Programming},
   volume = {69},
   number = {1--3},
   pages = {35--45},
   month = dec,
   year = {2007}
}

@inproceedings{csallner06dsd-crasher,
   author = {Christoph Csallner and Yannis Smaragdakis},
   title = {{DSD}-{C}rasher: A hybrid analysis tool for bug finding},
   booktitle = {Proc. ISSTA 2006},
   pages = {245--254},
   publisher = {ACM},
   month = jul,
   year = {2006}
}

@INPROCEEDINGS{acharya06:mining,
    author = {Mithun Acharya and Tao Xie and Jun Xu},
    title = {Mining Interface Specifications for Generating Checkable Robustness Properties},
    booktitle = {Proc.  ISSRE 2006},
    month = nov,
    year = {2006},
    pages = {311--320},
    location = {Raleigh, NC},
}

@INPROCEEDINGS{thummalapenta07:parseweb,
    author = {Suresh Thummalapenta and Tao Xie},
    title = {{PARSEWeb}: A Programmer Assistant for Reusing Open Source Code on the Web},
    booktitle = {Proc. ASE 2007},
    month = nov,
    year = {2007},
    location = {Atlanta, Georgia},
    pages = {204--213},
}



@inproceedings{PachecoE2005,
   author = {Carlos Pacheco and Michael D. Ernst},
   title = {Eclat: Automatic generation and classification of test inputs},
   booktitle = {Proc. ECOOP 2005},
   pages = {504--527},
   address = {Glasgow, Scotland},
   month = {July~27--29,},
   year = {2005}
}

@inproceedings{carving,
 author = {Elbaum, Sebastian and Chin, Hui Nee and Dwyer, Matthew B. and Dokulil, Jonathan},
 title = {Carving differential unit test cases from system test cases},
 booktitle = {SIGSOFT '06/FSE-14},
 year = {2006},
 pages = {253--264},
 location = {Portland, Oregon, USA},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{testaug,
 author = {Santelices, R. and Chittimalli, P. K. and Apiwattanapong, T. and Orso, A. and Harrold, M. J.},
 title = {Test-Suite Augmentation for Evolving Software},
 booktitle = {ASE '08},
 year = {2008},
 pages = {218--227},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{randoopnet,
 author = {Pacheco, Carlos and Lahiri, Shuvendu K. and Ball, Thomas},
 title = {Finding errors in .net with feedback-directed random testing},
 booktitle = {ISSTA '08},
 year = {2008},
 isbn = {978-1-60558-050-0},
 pages = {87--96},
 location = {Seattle, WA, USA},
 doi = {http://doi.acm.org/10.1145/1390630.1390643},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{SaffAPE2005,
   author = {David Saff and Shay Artzi and Jeff H. Perkins and Michael D.
    Ernst},
   title = {Automatic test factoring for {Java}},
   booktitle = {ASE 2005},
   pages = {114--123},
   address = {Long Beach, CA, USA},
   month = {November~9--11,},
   year = {2005}
}

@inproceedings{xie06:tool,
    author = {Tao Xie and David Notkin},
    title = {Tool-Assisted Unit Test Selection Based on Operational Violations},
    booktitle = {Proc. ASE 2003},
     year = {2003},
   pages = {40 -- 48},
    month = oct,
}

@inproceedings{korat,
 author = {Boyapati, C and Khurshid, S and Marinov, D},
 title = {Korat: automated testing based on Java predicates},
 booktitle = {ISSTA '02},
 year = {2002},
 location = {Roma, Italy},
 }

@inproceedings{testera,
 author = {Marinov, Darko and Khurshid, Sarfraz},
 title = {TestEra: A Novel Framework for Automated Testing of Java Programs},
 booktitle = {Proc. ASE '01},
 year = {2001},
 pages = {22},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@INPROCEEDINGS{amorim06:empirical,
    author = {Marcelo d'Amorim and Carlos Pacheco and Tao Xie and Darko Marinov and Michael D. Ernst},
    title = {An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing},
    booktitle = {Proc. ASE 2006},
    month = sep,
    year = {2006},
    pages = {59--68},
    location = {Tokyo, Japan},
}

@inproceedings{hybridcute,
 author = {Majumdar, Rupak and Sen, Koushik},
 title = {Hybrid Concolic Testing},
 booktitle = {Proc. ICSE '07},
 year = {2007},
 pages = {416--426},
 }

@inproceedings{mssoft,
 author = {G. Venolia and R. DeLine and T. LaToza},
 title = {Software development at Microsoft observed},
 booktitle = {Technical Report MSR-TR-2005-140},
 year = {2005},
 }

@INPROCEEDINGS{zheng10:random,
    author = {Wujie Zheng and Qirun Zhang and Michael Lyu and Tao Xie},
    title = {Random Unit-Test Generation with MUT-aware Sequence Recommendation},
    booktitle = {ASE 2010},
    month = sep,
    year = {2010},
    location = {Antwerp, Belgium},
}
@techreport{SaffBE2008,
   author = {David Saff and Marat Boshernitsan and Michael D. Ernst},
   title = {Theories in practice: Easy-to-write specifications that catch
    bugs},
   institution = {MIT Computer Science and Artificial Intelligence Laboratory},
   number = {MIT-CSAIL-TR-2008-002},
   address = {Cambridge, MA},
   month = {January~14,},
   year = {2008}
}

@techreport{gencc,
   author = {Sai Zhang and Yingyi Bu and Sophia Wang and Michael D. Ernst},
   title = {Dependence-Guided Random Test Generation},
   institution = {CSE 503 Course Project Report, University of Washington},
   number = {Withdrawn from ASE'10 short paper acceptance},
   month = may,
   year = {2010}
}

@INPROCEEDINGS{jaygarl10:ocat,
    author = {Hojun Jaygarl and Sunghun Kim and Tao Xie and Carl K. Chang},
    title = {OCAT: Object Capture-based Automated Testing},
    booktitle = {Proc. ISSTA 2010},
    month = jul,
    year = {2010},
    pages = {159--170},
    location = {Trento, Italy},
}

@INPROCEEDINGS{dygen,
    author = {Suresh Thummalapenta, Peli de Halleux, Nikolai Tillmann, and Scott Wadsworth},
    title = {DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces},
    booktitle = {TAP 2010},
    month = jun,
    year = {2010},
    location = {Malaga, Spain},
}
@article{put,
 author = {Tillmann, Nikolai and Schulte, Wolfram},
 title = {Parameterized unit tests},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {30},
 number = {5},
 year = {2005},
 issn = {0163-5948},
 pages = {253--262},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{putreload,
 author = {Tillmann, Nikolai and Schulte, Wolfram},
 title = {Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution},
 journal = {IEEE Softw.},
 volume = {23},
 number = {4},
 year = {2006},
 pages = {38--47},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@article{alloy,
 author = {Jackson, Daniel},
 title = {Alloy: a lightweight object modelling notation},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {11},
 number = {2},
 year = {2002},
 pages = {256--290},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@ARTICLE{Jones:72,
    author = {Karen S Jones},
    title = {A statistical interpretation of term specificity and its application in retrieval},
    journal = {Journal of Documentation},
    year = {1972},
    volume = {28},
    pages = {11--21}
}
